From 8de5a636958a6f82c3fb4f0e727c415805a97867 Mon Sep 17 00:00:00 2001 From: Julien Grall Date: Wed, 1 Jul 2015 12:01:05 +0100 Subject: [PATCH] xen/arm: gic-v3: Use the domain redistributor information to make the DT node It's not necessary to get from the hardware DT the redistributor informations again. We already have it stored in the gic_info and the domain. Use the latter to be consistent with the rest of the function. Signed-off-by: Julien Grall Acked-by: Ian Campbell --- xen/arch/arm/gic-v3.c | 17 ++++------------- 1 file changed, 4 insertions(+), 13 deletions(-) diff --git a/xen/arch/arm/gic-v3.c b/xen/arch/arm/gic-v3.c index d1af14711e..c8b017f3b1 100644 --- a/xen/arch/arm/gic-v3.c +++ b/xen/arch/arm/gic-v3.c @@ -1105,9 +1105,6 @@ static int gicv3_make_hwdom_dt_node(const struct domain *d, const void *compatible = NULL; uint32_t len; __be32 *new_cells, *tmp; - uint32_t rd_stride = 0; - uint32_t rd_count = 0; - int i, res = 0; compatible = dt_get_property(gic, "compatible", &len); @@ -1121,19 +1118,13 @@ static int gicv3_make_hwdom_dt_node(const struct domain *d, if ( res ) return res; - res = dt_property_read_u32(gic, "redistributor-stride", &rd_stride); - if ( !res ) - rd_stride = 0; - - res = dt_property_read_u32(gic, "#redistributor-regions", &rd_count); - if ( !res ) - rd_count = 1; - - res = fdt_property_cell(fdt, "redistributor-stride", rd_stride); + res = fdt_property_cell(fdt, "redistributor-stride", + d->arch.vgic.rdist_stride); if ( res ) return res; - res = fdt_property_cell(fdt, "#redistributor-regions", rd_count); + res = fdt_property_cell(fdt, "#redistributor-regions", + d->arch.vgic.nr_regions); if ( res ) return res; -- 2.30.2